Play to Test
نویسندگان
چکیده
Testing tasks can be viewed (and organized!) as games against nature. We study reachability games in the context of testing. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game. Hence the importance of optimal or near optimal strategies for reachability games. One can use linear programming or the value iteration method of Markov decision process theory to find optimal strategies. Both methods have been implemented in an industrial model-based testing tool, Spec Explorer, developed at Microsoft Research.
منابع مشابه
The Effect of Role-Play and Simulation Approach on Enhancing ESL Oral Communication Skills
This study investigated the effect of role-play and simulation approach on Malaysian Polytechnic engineering students’ ESL oral communication skills. In addition, the study examined the students’ perceptions of the effect of the role-play and simulation on their oral communication skills. A mixed method design was employed, using both quantitative and qualitative data collection app...
متن کاملInvestigating the Use of Rehabilitation based on Play Therapy to Increase the Attention of Medical Students
Objectives: Attention is one of the cognitive functions that can be enhanced through cognitive rehabilitation. Play therapy is a treatment option for cognitive impairments. The present research aimed to investigate the use of rehabilitation based on play therapy to increase the attention of medical students. Methods: The present research is a randomized controlled clinical trial. In 2022, the ...
متن کاملThe Effectiveness of Cognitive-Behavioral Play Therapy on the Anxiety of Labor Children
Introduction: Child labor is a very serious problem in many major cities and capitals around world, especially in developing countries. These children are exposed to adverse health, physical, psychological, sexual, and social dangers because of their work and living conditions. The purpose of this study was to investigate the effectiveness of cognitive-behavioral play therapy on the anxiety of ...
متن کاملEffectiveness of Cognitive-Behavioral Art-Play Therapy and Play Therapy based on Child-Parent Relationships among Single Parents’ Children
Introduction: Single-parent children are among the children who need serious attention from the therapeutic and training community. The aim of this study was to determine the effectiveness of cognitive-behavioral art-play therapy and play therapy based on child-parent relationships on the quality of child-parent interactions among single parents’ children. Methods: The research method was two s...
متن کاملThe Effectiveness of Cognitive-Behavioral Play Therapy (CBT) and Resiliency Based Play Therapy on Sleep Disorder in Children with Functional Abdominal Pain
Introduction: Children with functional abdominal pain often suffer from Abdominal pain before falling asleep. This study aimed to determine the effects of resiliency based play therapy and cognitive-behavioral play therapy on sleep disorder in children with functional abdominal pain. Methods: The research method was quasi-experimental, with pre-test, post-test, and follow-up with a control gro...
متن کاملThe Effectiveness of a Child-centered play therapy on Internalized Children's Problems
Introduction: The world of children is the world of action and action, and play therapy can be realized within the world of the child. The purpose of the present study was to investigate the efficacy of child-centered play therapy on childrenchr('39')s internalized problems. Method: The present study is a quasi-experimental study of heterogeneous groups. The statistical population of the study ...
متن کامل